Hybrid Functional Interpretations
نویسندگان
چکیده
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel’s modified realizability and Gödel’s Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers.
منابع مشابه
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting of a multi-modal linear logic. Functional interpretations of intuitionistic logic can be combined via Girard’s embedding of intuitionistic logic into linear logic. We first show how to combine the usual Kreisel’s modifi...
متن کاملHybrid-DFT study and NBO interpretations of the conformational behavior of 1,2-dihalodisilanes
Hybrid-density functional theory (B3LYP/Def2-TZVPP) based method and NBOinterpretation were used to investigate the conformational behavior of 1,2-dihalodisilanes[halo=F (1), Cl (2), Br (3), I (4)]. The B3LYP/Def2-TZVPP results showed that the anticonformations of compounds 1-4 are more stable than their corresponding gaucheconformations. The stability of the anti conformation compared to the g...
متن کاملHybrid-DFT study and NBO interpretations of conformational behaviors of 2-methoxy-1,2,4,5-tetrahydro-benzo[d]oxepine, -thiepine and -selenepine
NBO analysis and density functional theory (DFT: B3LYP/6-311+G**) based method were used to study the impacts of the anomeric effects (AE) on the conformational properties of 2-methoxy-1,2,4,5-tetrahydro-benzo[d]oxepine (1), -thiepine (2) and -selenepine (3). The Gibbs free energy difference (Geq–Gax) values (i.e. ΔGeq-ax) at 298.15 K and 1 atm between the axial and equatorial conformations inc...
متن کاملConformational behaviors of trans-2,3-bis(methylthio)-1,4-dioxane, -dithiane and –diselenane. A hybrid-DFT study and NBO interpretations
The conformational behaviors of 2,3-bis(methylthio)-1,4-dioxane (1), 2,3-bis(methylthio)-1,4-dithiane (2) and 2,3-bis(methylthio)-1,4-diselenane (3) have been analyzed by means ofhybrid-density functional theory (B3LYP/Def2-TZVPP) based method and NBO interpretation.B3LYP/Def2-TZVPP results showed that the axial conformations of compounds 1-3 are morestable than their equatorial conformations. ...
متن کاملAn Investigation of the Performance of a Hybrid of Hartree-Fock and Density Functional Theory
We explore a hybrid methodology in which the Hartree-Fock energy and density are combined with the nonlocal exchange functional of Becke ( 1988) and the nonlocal correlation functional of Lee, Yang and Pam ( 1988) to yield an estimate of the Schriidinger total energy. The resulting mean absolute deviation from a large number of experimental atomization energies, ionization potentials, electron ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008